Grammaire et logique

Programmation logique et contraintes

succès rencontrés très rapidement en résolution deprobì emes combinatoires, y compris dans desprobì emes clas-siques de recherche opérationnelle comme en ordonnancement par exemple, ont induit une forte vitalité industrielle et académique dans ce domaine. Les enjeux sont aujourd'hui d'aller vers une plus grande automatisation, qui n'at-teint pas encore celle des outils de programmation linéaire...

Logique mathématique et linguistique formelle

Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini

Grammaire de Ramanujan et arbres de Cayley

— We study three sequences of polynomials defined as successive derivatives with respect to a differential operator associated with a grammar (one of these sequences was originally introduced by Ramanujan). Combinatorial interpretations for these polynomials are found in terms of rooted trees and graphs of mappings from [n] to [n]. Introduction Dans [Ra], [B], Ramanujan (et B. Berndt à sa suite...

Problemes Generaux Science Et Logique

Structures algébriques en logique et concurrence

In this work we shall synthesize the research activity we have accomplished since we received the PhD title at the University of Québec in Montréal. These researches have been developed at and made possible through several research institutions that we would like to thank : the BRICS at Aarhus University, the PIMS and the Department of Computer Science of Calgary University, the LaBRI at Bordea...